Auto merge of #2483 - srinivasreddy:docs, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 14 Mar 2016 20:13:04 +0000 (13:13 -0700)
committerbors <bors@rust-lang.org>
Mon, 14 Mar 2016 20:13:04 +0000 (13:13 -0700)
corrected statement regarding constraint graph solving problem type


Trivial merge